Finite dimensional approximations to Wiener measure and path integral formulas on manifolds

Certain natural geometric approximation schemes are developed for Wiener measure on a compact Riemannian manifold. These approximations closely mimic the informal path integral formulas used in the physics literature for representing the heat semi-group on Riemannian manifolds. The path space is approximated by finite dimensional manifolds consisting of piecewise geodesic paths adapted to partitions $P$ of $[0,1]$. The finite dimensional manifolds of piecewise geodesics carry both an $H^{1}$ and a $L^{2}$ type Riemannian structures $G^i_P$. It is proved that as the mesh of the partition tends to $0$, $$1/Z_P^i e^{- 1/2 E(\sigma)} Vol_{G^i_P}(\sigma) \to \rho_i(\sigma)\nu(\sigma)$$ where $E(\sigma )$ is the energy of the piecewise geodesic path $\sigma$, and for $i=0$ and $1$, $Z_P^i$ is a ``normalization'' constant, $Vol_{G^i_P}$ is the Riemannian volume form relative $G^i_P$, and $\nu$ is Wiener measure on paths on $M$. Here $\rho_1 = 1$ and $$\rho_0 (\sigma) = \exp( -1/6 \int_0^1 Scal(\sigma(s))ds )$$ where $Scal$ is the scalar curvature of $M$. These results are also shown to imply the well know integration by parts formula for the Wiener measure.Comment: 48 pages, latex2e using amsart and amssym

Yang-Mills theory and the Segal-Bargmann transform

We use a variant of the classical Segal-Bargmann transform to understand the canonical quantization of Yang-Mills theory on a space-time cylinder. This transform gives a rigorous way to make sense of the Hamiltonian on the gauge-invariant subspace. Our results are a rigorous version of the widely accepted notion that on the gauge-invariant subspace the Hamiltonian should reduce to the Laplacian on the compact structure group. We show that the infinite-dimensional classical Segal-Bargmann transform for the space of connections, when restricted to the gauge-invariant subspace, becomes the generalized Segal-Bargmann transform for the the structure group